The Cryogenic Target for the G0^0 Experiment at Jefferson Lab

A cryogenic horizontal single loop target has been designed, built, tested and operated for the G$^0$ experiment in Hall C at Jefferson Lab. The target cell is 20 cm long, the loop volume is 6.5 l and the target operates with the cryogenic pump fully immersed in the fluid. The target has been designed to operate at 30 Hz rotational pump speed with either liquid hydrogen or liquid deuterium. The high power heat exchanger is able to remove 1000 W of heat from the liquid hydrogen, while the nominal electron beam with current of 40 $\mu$A and energy of 3 GeV deposits about 320 W of heat into the liquid. The increase in the systematic uncertainty due to the liquid hydrogen target is negligible on the scale of a parity violation experiment. The global normalized yield reduction for 40 $\mu$A beam is about 1.5 % and the target density fluctuations contribute less than 238 ppm (parts per million) to the total asymmetry width, typically about 1200 ppm, in a Q$^2$ bin.Comment: 27 pages, 14 figure

Learning 3D Human Pose from Structure and Motion

3D human pose estimation from a single image is a challenging problem, especially for in-the-wild settings due to the lack of 3D annotated data. We propose two anatomically inspired loss functions and use them with a weakly-supervised learning framework to jointly learn from large-scale in-the-wild 2D and indoor/synthetic 3D data. We also present a simple temporal network that exploits temporal and structural cues present in predicted pose sequences to temporally harmonize the pose estimations. We carefully analyze the proposed contributions through loss surface visualizations and sensitivity analysis to facilitate deeper understanding of their working mechanism. Our complete pipeline improves the state-of-the-art by 11.8% and 12% on Human3.6M and MPI-INF-3DHP, respectively, and runs at 30 FPS on a commodity graphics card.Comment: ECCV 2018. Project page: https://www.cse.iitb.ac.in/~rdabral/3DPose

Endocrine responses and acute mTOR pathway phosphorylation to resistance exercise with leucine and whey

Leucine ingestion reportedly activates the mTOR pathway in skeletal muscle, contributing to a hypertrophy response. The purpose of the study was to compare the post-resistance exercise effects of leucine and whey protein supplementation on endocrine responses and muscle mTOR pathway phosphorylation. On visit 1, subjects (X±SD; n=20; age=27.8±2.8yrs) provided baseline blood samples for analysis of cortisol, glucose and insulin; a muscle biopsy of the vastus lateralis muscle to assess mTOR signaling pathway phosphorylation; and were tested for maximum strength on the leg press and leg extension exercises. For visits 2 and 3, subjects were randomized in a double-blind crossover design to ingest either leucine and whey protein (10g+10g; supplement) or a non-caloric placebo. During these visits, 5 sets of 10 repetitions were performed on both exercises, immediately followed by ingestion of the supplement or placebo. Blood was sampled 30 min post-, and a muscle biopsy 45 min post-exercise. Western blots quantified total and phosphorylated proteins. Insulin increased (α<.05) with supplementation with no change in glucose compared to placebo. Relative phosphorylation of AKT and rpS6 were greater with leucine and whey supplementation compared to placebo. Supplementation of leucine and whey protein immediately after heavy resistance exercise increases anabolic signaling in human skeletal muscle

Instrument-assisted Soft Tissue Mobilization: Effects on the Properties of Human Plantar Flexors

The effect of instrument-assisted soft tissue mobilization (ISTM) on passive properties and inflammation in human skeletal muscle has not been evaluated. Passive properties of muscle, inflammatory myokines and subjective reporting of functional ability were used to identify the effects of ISTM on the plantar flexors. 11 healthy men were measured for passive musculotendinous stiffness (MTS), passive range of motion (PROM), passive resistive torque (PASTQ) and maximum voluntary contraction peak torque (MVCPT) for plantar flexor muscles of the lower leg. Interleukin-6 (IL-6) and tumor necrosis factor-alpha (TNF-α) were measured from muscle biopsies from the gastrocnemius, and subjective measurements of functional ability were taken using the perception of functional ability questionnaire (PFAQ). MTS, PROM, PRT and MVCPT were measured in the treatment leg (TL) and control leg (CL) before, immediately after, 24 h, 48 h and 72 h following IASTM. Biopsies for IL-6 and TNF-α and PFAQ responses were collected before as well as 24 h, 48 h and 72 h after IASTM. There were no significant differences in MTS, PROM, PASTQ, MVCPT, IL-6 and TNF-α between the TL or CL. A significant decrease in the perception of function and a significant increase in pain for the TL were found following IASTM

Electromyographic Responses from the Vastus Medialis during Isometric Muscle Actions

This study examined the electromyographic (EMG) responses from the vastus medialis (VM) for electrodes placed over and away from the innervation zone (IZ) during a maximal voluntary isometric contraction (MVIC) and sustained, submaximal isometric muscle action. A linear electrode array was placed on the VM to identify the IZ and muscle fiber pennation angle during an MVIC and sustained isometric muscle action at 50 % MVIC. EMG amplitude and frequency parameters were determined from 7 bipolar channels of the electrode array, including over the IZ, as well as 10 mm, 20 mm and 30 mm proximal and distal to the IZ. There were no differences between the channels for the patterns of responses for EMG amplitude or mean power frequency during the sustained, submaximal isometric muscle action; however, there were differences between channels during the MVIC. The results of the present study supported the need to standardize the placement of electrodes on the VM for the assessment of EMG amplitude and mean power frequency. Based on the current findings, it is recommended that electrode placements be distal to the IZ and aligned with the muscle fiber pennation angle during MVICs, as well as sustained, submaximal isometric muscle actions

Using theorem provers to increase the precision of dependence analysis for information flow control

Information flow control (IFC) is a category of techniques for enforcing information flow properties. In this paper we present the Combined Approach, a novel IFC technique that combines a scalable system-dependence-graph-based (SDG-based) approach with a precise logic-based approach based on a theorem prover. The Combined Approach has an increased precision compared with the SDG-based approach on its own, without sacrificing its scalability. For every potential illegal information flow reported by the SDG-based approach, the Combined Approach automatically generates proof obligations that, if valid, prove that there is no program path for which the reported information flow can happen. These proof obligations are then relayed to the logic-based approach. We also show how the SDG-based approach can provide additional information to the theorem prover that helps decrease the verification effort. Moreover, we present a prototypical implementation of the Combined Approach that uses the tools JOANA and KeY as the SDG-based and logic-based approach respectively

Auto-labelling of Markers in Optical Motion Capture by Permutation Learning

Optical marker-based motion capture is a vital tool in applications such as motion and behavioural analysis, animation, and biomechanics. Labelling, that is, assigning optical markers to the pre-defined positions on the body is a time consuming and labour intensive postprocessing part of current motion capture pipelines. The problem can be considered as a ranking process in which markers shuffled by an unknown permutation matrix are sorted to recover the correct order. In this paper, we present a framework for automatic marker labelling which first estimates a permutation matrix for each individual frame using a differentiable permutation learning model and then utilizes temporal consistency to identify and correct remaining labelling errors. Experiments conducted on the test data show the effectiveness of our framework

Parity-violating Electron Deuteron Scattering and the Proton's Neutral Weak Axial Vector Form Factor

We report on a new measurement of the parity-violating asymmetry in quasielastic electron scattering from the deuteron at backward angles at Q2= 0.038 (GeV/c)2. This quantity provides a determination of the neutral weak axial vector form factor of the nucleon, which can potentially receive large electroweak corrections. The measured asymmetry A=-3.51 +/- 0.57(stat) +/- 0.58(sys)ppm is consistent with theoretical predictions. We also report on updated results of the previous experiment at Q2=0.091 (GeV/c)2, which are also consistent with theoretical predictions.Comment: 4 pages, 2 figures, submitted to Phys. Rev. Let

Integration of Static and Dynamic Analysis Techniques for Checking Noninterference

In this article, we present an overview of recent combinations of deductive program verification and automatic test generation on the one hand and static analysis on the other hand, with the goal of checking noninterference. Noninterference is the non-functional property that certain confidential information cannot leak to certain public output, i.e., the confidentiality of that information is always preserved. We define the noninterference properties that are checked along with the individual approaches that we use in different combinations. In one use case, our framework for checking noninterference employs deductive verification to automatically generate tests for noninterference violations with an improved test coverage. In another use case, the framework provides two combinations of deductive verification with static analysis based on system dependence graphs to prove noninterference, thereby reducing the effort for deductive verification

Parity-violating Electron Deuteron Scattering and the Proton's Neutral Weak Axial Vector Form Factor

We report on a new measurement of the parity-violating asymmetry in quasielastic electron scattering from the deuteron at backward angles at Q2= 0.038 (GeV/c)2. This quantity provides a determination of the neutral weak axial vector form factor of the nucleon, which can potentially receive large electroweak corrections. The measured asymmetry A=-3.51 +/- 0.57(stat) +/- 0.58(sys)ppm is consistent with theoretical predictions. We also report on updated results of the previous experiment at Q2=0.091 (GeV/c)2, which are also consistent with theoretical predictions.Comment: 4 pages, 2 figures, submitted to Phys. Rev. Let